航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

基于C167CS和MAS3507＋DAC3550解码器的音频播放器设计

多媒体播放器市场的快速发展为低成本的DSP/MCU混合器件的应用提供了发展的良机.本文分析了Infineon(SIEMENS)C167CS的结构,提出了Infineon(SIEMENS)C167CS单片机和MAS3507 DAC3550解码器开发的MP3播放器的方案,采用了自顶向下的设计方法对总体设计方案、硬件各个组成部分(播放器的硬件解码技术、数模转换的控制技术)和软件进行了分析和设计.全部程序用Keil公司的C编译器和链接器编译通过并运行良好,该系统具有实现简单,成本低,运行效率高,功能强大等优点,有很好的发展前途.     

历经十年寿命试验的消旋天线机构轴承的可靠性分析

解决了一个计算可靠性问题的特例。分析了消旋天线机构轴承历经10年寿命试验的可靠性问题。并给出了轴承在不同可靠寿命要求下的可靠度(对应不同置信度)。     

波导分支线定向耦合器计算方法

利用模匹配方法和网络理论分析计算了一种卫星天线系统中常用的波导分支线定向耦合器,计算结果与实验结果非常吻合。该方法为波导分支线定向耦合器提供一种有力的设计手段。它可直接用于设计Ku 波段通信卫星天线的波束形成网络,也可以用来设计各种耦合度的波导分支线定向耦合器。     

Digital Aircraft Sheet Metal Part Manufacturing System and Its Key Technology

The architecture of digital sheet metal manufacturing system is proposed based on the classification of sheet metal manufacturing information.The essence of digital manufacturing is the definition,management and transfer of information,and the key technologies are brought forward and described.It is pointed out that knowledge-based manufacturing elements design is necessary to make digital technology efficient.The management of all kinds of sheet metal manufacturing element information is to build single source of manufacturing data.Multi-state model-based digital transfer and coordination method is designed to provide a foundation for digital manufacturing of aircraft sheet metal part.The application of digital sheet metal manufacturing is exemplified with an aircraft sheet metal part.The application result is compared to that of the traditional analog transfer technology.It is shown that the developed technology can improve part quality,shorten manufacturing time and lower manufacturing cost.     

利用偏馈振子调整测控雷达跟踪通道相移技术研究

提出一种调整雷达跟踪通道相移的方法 ,即在雷达天线主面上配置偏馈振子 ,利用偏馈振子做为校准源调整雷达跟踪和 /差通道间的相移 ,并对该方法的可行性、可靠性及稳定性进行了实验研究。     

新型单级式DC/AC逆变器

提出了两种新型的单级式隔离 DC/AC逆变电源的结构拓扑——半桥式单级逆变电路拓扑和推挽式单级逆变拓扑 ,分析了它们的工作原理及特点。电路拓扑结构简洁 ,可靠性高。仿真和实验样机测试结果证明 ,该电路拓扑在不同性质负载下能够可靠工作 ,电气性能优 ,效率较高 ,适用于小功率高压和低压直流输入电源。     

干式变压器数据采集与控制系统的设计

介绍了一种基于V/F变换的高精度干式变压器数据采集与控制系统 ,采用LM2 3 1A/F变换芯片和89C5 2单片机实现工业现场测量对象的A/D转换。V/F变换器具有高精度 ,高线形度 ,且外围电路简单的特点。采用单片机直接与V/F变换器连接进行A/D转换 ,不需要额外的硬件电路 ,充分利用硬件资源 ,精心设计软件 ,系统分辨率可达 12位 ,转换精度可达 0 .0 2 %。当传感器与上位机距离较远时 ,可以采用RS -4 85接口或无线数据发送 /接收模块实现远距离的数据通信     

柠檬酸钙酸解过程的建模与计算机控制

通过研究柠檬酸钙酸解过程中溶液电导率的变化规律，建立了酸解体系的数学模型，提出了改革酸解工艺路线中的物料添加顺序，并用计算机自动控制物料添加量和添加速率，自动判定酸解终点的方法。     

中继卫星多址链路调度问题的约束规划模型及算法研究

中继卫星多址链路调度问题是中继卫星系统应用中必须解决的重要问题,其重要特点在于,中继卫星与用户航天器之间并非时时可见,因此通信任务存在可见时间窗口约束。只有在可见时间窗口内,通信任务才可能执行并完成。在进行合理假设的基础上,采用人工智能中的约束规划技术,建立中继卫星多址链路调度问题的约束规划模型,并提出了基于时间窗口期望值的多步迭代算法。应用结果表明,中继卫星多址链路调度模型的建立与求解是合理的。